[INFO] fetching crate leo3 0.2.1...
[INFO] testing leo3-0.2.1 against try#0abe69e6c16114311cc2700e972492e64d69c28f for pr-154065-1
[INFO] extracting crate leo3 0.2.1 into /workspace/builds/worker-1-tc2/source
[INFO] started tweaking crates.io crate leo3 0.2.1
[INFO] removed 0 missing examples
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate leo3 0.2.1
[INFO] tweaked toml for crates.io crate leo3 0.2.1 written to /workspace/builds/worker-1-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate leo3 0.2.1 on toolchain 0abe69e6c16114311cc2700e972492e64d69c28f
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+0abe69e6c16114311cc2700e972492e64d69c28f" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate leo3 0.2.1 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+0abe69e6c16114311cc2700e972492e64d69c28f" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+0abe69e6c16114311cc2700e972492e64d69c28f" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 2290a3e94bcbf21a2976bba019a53ee3956264e52c9d8fb874a2eaf655582d4e
[INFO] running `Command { std: "docker" "start" "-a" "2290a3e94bcbf21a2976bba019a53ee3956264e52c9d8fb874a2eaf655582d4e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "2290a3e94bcbf21a2976bba019a53ee3956264e52c9d8fb874a2eaf655582d4e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "2290a3e94bcbf21a2976bba019a53ee3956264e52c9d8fb874a2eaf655582d4e", kill_on_drop: false }`
[INFO] [stdout] 2290a3e94bcbf21a2976bba019a53ee3956264e52c9d8fb874a2eaf655582d4e
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+0abe69e6c16114311cc2700e972492e64d69c28f" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] c0c7394a1819d0f3b79723690fb8e6037102480fa6d0fa8782d1eb86784d2bf2
[INFO] running `Command { std: "docker" "start" "-a" "c0c7394a1819d0f3b79723690fb8e6037102480fa6d0fa8782d1eb86784d2bf2", kill_on_drop: false }`
[INFO] [stderr]    Compiling leo3-build-config v0.2.1
[INFO] [stderr]    Compiling libloading v0.9.0
[INFO] [stderr]    Compiling quote v1.0.42
[INFO] [stderr]    Compiling syn v2.0.111
[INFO] [stderr]    Compiling leo3-ffi v0.2.1
[INFO] [stderr]    Compiling leo3 v0.2.1 (/opt/rustwide/workdir)
[INFO] [stderr] warning: leo3@0.2.1: DEP_LEAN4_LEO3_CONFIG not set; leo3-ffi may not have detected Lean
[INFO] [stderr]    Compiling leo3-macros-backend v0.2.1
[INFO] [stderr]    Compiling leo3-macros v0.2.1
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 8.06s
[INFO] running `Command { std: "docker" "inspect" "c0c7394a1819d0f3b79723690fb8e6037102480fa6d0fa8782d1eb86784d2bf2", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c0c7394a1819d0f3b79723690fb8e6037102480fa6d0fa8782d1eb86784d2bf2", kill_on_drop: false }`
[INFO] [stdout] c0c7394a1819d0f3b79723690fb8e6037102480fa6d0fa8782d1eb86784d2bf2
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+0abe69e6c16114311cc2700e972492e64d69c28f" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 492d2d3138e0fd0042134843203cf2f069791982e8b5e3bd09674a2beaafb65a
[INFO] running `Command { std: "docker" "start" "-a" "492d2d3138e0fd0042134843203cf2f069791982e8b5e3bd09674a2beaafb65a", kill_on_drop: false }`
[INFO] [stderr]    Compiling zerocopy v0.8.31
[INFO] [stderr]    Compiling cc v1.2.55
[INFO] [stderr]    Compiling futures-sink v0.3.31
[INFO] [stderr]    Compiling futures-core v0.3.31
[INFO] [stderr]    Compiling futures-task v0.3.31
[INFO] [stderr]    Compiling target-triple v1.0.0
[INFO] [stderr]    Compiling clap_lex v0.7.6
[INFO] [stderr]    Compiling serde_json v1.0.145
[INFO] [stderr]    Compiling regex-syntax v0.8.8
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling zerocopy-derive v0.8.31
[INFO] [stderr]    Compiling futures-macro v0.3.31
[INFO] [stderr]    Compiling winnow v0.7.14
[INFO] [stderr]    Compiling serde_spanned v1.0.4
[INFO] [stderr]    Compiling toml_datetime v1.0.0+spec-1.1.0
[INFO] [stderr]    Compiling toml_writer v1.0.6+spec-1.1.0
[INFO] [stderr]    Compiling futures-channel v0.3.31
[INFO] [stderr]    Compiling clap_builder v4.5.53
[INFO] [stderr]    Compiling criterion-plot v0.8.2
[INFO] [stderr] warning: leo3@0.2.1: DEP_LEAN4_LEO3_CONFIG not set; leo3-ffi may not have detected Lean
[INFO] [stderr]    Compiling tokio-macros v2.6.0
[INFO] [stderr]    Compiling page_size v0.6.0
[INFO] [stderr]    Compiling tokio v1.49.0
[INFO] [stderr]    Compiling futures-util v0.3.31
[INFO] [stderr]    Compiling alloca v0.4.0
[INFO] [stderr]    Compiling regex-automata v0.4.13
[INFO] [stderr]    Compiling toml_parser v1.0.7+spec-1.1.0
[INFO] [stderr]    Compiling toml v1.0.0+spec-1.1.0
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling regex v1.12.2
[INFO] [stderr]    Compiling tinytemplate v1.2.1
[INFO] [stderr]    Compiling futures-executor v0.3.31
[INFO] [stderr]    Compiling futures v0.3.31
[INFO] [stderr]    Compiling trybuild v1.0.116
[INFO] [stderr]    Compiling clap v4.5.53
[INFO] [stderr]    Compiling half v2.7.1
[INFO] [stderr]    Compiling ciborium-ll v0.2.2
[INFO] [stderr]    Compiling ciborium v0.2.2
[INFO] [stderr]    Compiling criterion v0.8.2
[INFO] [stderr]    Compiling leo3 v0.2.1 (/opt/rustwide/workdir)
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note:  "cc" "-m64" "/opt/rustwide/target/debug/deps/rustcAnXP82/symbols.o" "<2 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libtest-*,libgetopts-*,librustc_std_workspace_std-*}.rlib" "/opt/rustwide/target/debug/deps/{libleo3-89f6ad12081a6bcc,liblibloading-25f44748b04c18dc,libcfg_if-5af52f617df93f8f,libleo3_ffi-08b3cc464f951157,liblibc-65ee1eb217d721f2}.rlib" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libstd-*,libpanic_unwind-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,libcfg_if-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*,liblibc-*,librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-Wl,-Bdynamic" "-ldl" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-L" "/opt/rustwide/target/debug/deps/rustcAnXP82/raw-dylibs" "-B<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/bin/gcc-ld" "-fuse-ld=lld" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/target/debug/build/alloca-fd53fbec7e962863/out" "-L" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/deps/test_is_def_eq-9a060d715c5973de" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs"
[INFO] [stdout]   = note: some arguments are omitted. use `--verbose` to show all linker arguments
[INFO] [stdout]   = note: rust-lld: error: undefined symbol: lean_initialize_runtime_module
[INFO] [stdout]           >>> referenced by environment.rs:53 (src/meta/environment.rs:53)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_initialize_thread
[INFO] [stdout]           >>> referenced by environment.rs:54 (src/meta/environment.rs:54)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_init_task_manager
[INFO] [stdout]           >>> referenced by environment.rs:55 (src/meta/environment.rs:55)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_mk_empty_environment
[INFO] [stdout]           >>> referenced by environment.rs:175 (src/meta/environment.rs:175)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.06.rcgu.o:(<leo3::meta::environment::LeanEnvironment>::empty::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_dec_ref_cold
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.06.rcgu.o:(<leo3::meta::environment::LeanEnvironment>::empty::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.13.rcgu.o:(<leo3::meta::metam::MetaMContext>::run::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.13.rcgu.o:(leo3_ffi::io::lean_io_result_take_value) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced 17 more times
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_expr_mk_bvar
[INFO] [stdout]           >>> referenced by expr.rs:59 (src/meta/expr.rs:59)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.06.rcgu.o:(<leo3::meta::expr::LeanExpr>::bvar) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_expr_mk_sort
[INFO] [stdout]           >>> referenced by expr.rs:123 (src/meta/expr.rs:123)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.06.rcgu.o:(<leo3::meta::expr::LeanExpr>::sort) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_expr_mk_lambda
[INFO] [stdout]           >>> referenced by expr.rs:223 (src/meta/expr.rs:223)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.06.rcgu.o:(<leo3::meta::expr::LeanExpr>::lambda) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_mk_string
[INFO] [stdout]           >>> referenced by string.rs:39 (src/types/string.rs:39)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.08.rcgu.o:(<leo3::types::string::LeanString>::mk) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_level_mk_zero
[INFO] [stdout]           >>> referenced by level.rs:52 (src/meta/level.rs:52)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.09.rcgu.o:(<leo3::meta::level::LeanLevel>::one) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced by level.rs:32 (src/meta/level.rs:32)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.09.rcgu.o:(<leo3::meta::level::LeanLevel>::zero) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_level_mk_succ
[INFO] [stdout]           >>> referenced by level.rs:56 (src/meta/level.rs:56)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.09.rcgu.o:(<leo3::meta::level::LeanLevel>::one) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_mk_string_from_bytes
[INFO] [stdout]           >>> referenced by context.rs:183 (src/meta/context.rs:183)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.11.rcgu.o:(<leo3::meta::context::CoreContext>::mk_empty_filemap) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced by context.rs:378 (src/meta/context.rs:378)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.11.rcgu.o:(<leo3::meta::context::CoreState>::mk_name_generator) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_array_push
[INFO] [stdout]           >>> referenced by context.rs:187 (src/meta/context.rs:187)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.11.rcgu.o:(<leo3::meta::context::CoreContext>::mk_empty_filemap) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_name_mk_string
[INFO] [stdout]           >>> referenced by context.rs:379 (src/meta/context.rs:379)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.11.rcgu.o:(<leo3::meta::context::CoreState>::mk_name_generator) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced by name.rs:104 (src/meta/name.rs:104)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.13.rcgu.o:(<leo3::meta::name::LeanName>::append_str) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_mk_array
[INFO] [stdout]           >>> referenced by context.rs:474 (src/meta/context.rs:474)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.11.rcgu.o:(<leo3::meta::context::CoreState>::mk_empty_std_hashmap) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_big_usize_to_nat
[INFO] [stdout]           >>> referenced by inline.rs:452 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:452)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.11.rcgu.o:(leo3_ffi::inline::lean_usize_to_nat) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Expr
[INFO] [stdout]           >>> referenced by mod.rs:157 (src/meta/mod.rs:157)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_expr_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Init_Prelude
[INFO] [stdout]           >>> referenced by mod.rs:137 (src/meta/mod.rs:137)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_prelude_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Environment
[INFO] [stdout]           >>> referenced by mod.rs:173 (src/meta/mod.rs:173)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Meta
[INFO] [stdout]           >>> referenced by mod.rs:177 (src/meta/mod.rs:177)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: too many errors emitted, stopping now (use --error-limit=0 to see all errors)
[INFO] [stdout]           collect2: error: ld returned 1 exit status
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note:  "cc" "-m64" "/opt/rustwide/target/debug/deps/rustctMUwxE/symbols.o" "<2 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libtest-*,libgetopts-*,librustc_std_workspace_std-*}.rlib" "/opt/rustwide/target/debug/deps/{libleo3-89f6ad12081a6bcc,liblibloading-25f44748b04c18dc,libcfg_if-5af52f617df93f8f,libleo3_ffi-08b3cc464f951157,liblibc-65ee1eb217d721f2}.rlib" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libstd-*,libpanic_unwind-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,libcfg_if-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*,liblibc-*,librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-Wl,-Bdynamic" "-ldl" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-L" "/opt/rustwide/target/debug/deps/rustctMUwxE/raw-dylibs" "-B<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/bin/gcc-ld" "-fuse-ld=lld" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/target/debug/build/alloca-fd53fbec7e962863/out" "-L" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/deps/basic-387752ba929fe1be" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs"
[INFO] [stdout]   = note: some arguments are omitted. use `--verbose` to show all linker arguments
[INFO] [stdout]   = note: rust-lld: error: undefined symbol: lean_dec_ref_cold
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               /opt/rustwide/target/debug/deps/basic-387752ba929fe1be.basic.3f42fbe078e73b41-cgu.0.rcgu.o:(<leo3::instance::LeanRef<leo3::types::nat::LeanNat> as core::ops::drop::Drop>::drop)
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.15.rcgu.o:(<leo3::instance::LeanBound<leo3::types::nat::LeanNat> as core::ops::drop::Drop>::drop) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.15.rcgu.o:(<leo3::instance::LeanBound<leo3::types::array::LeanArray> as core::ops::drop::Drop>::drop) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced 1 more times
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_initialize_runtime_module
[INFO] [stdout]           >>> referenced by environment.rs:53 (src/meta/environment.rs:53)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_initialize_thread
[INFO] [stdout]           >>> referenced by environment.rs:54 (src/meta/environment.rs:54)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_init_task_manager
[INFO] [stdout]           >>> referenced by environment.rs:55 (src/meta/environment.rs:55)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_mk_string
[INFO] [stdout]           >>> referenced by string.rs:39 (src/types/string.rs:39)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.08.rcgu.o:(<leo3::types::string::LeanString>::mk) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_usize_of_big_nat
[INFO] [stdout]           >>> referenced by inline.rs:466 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:466)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.11.rcgu.o:(leo3_ffi::inline::lean_usize_of_nat) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_big_usize_to_nat
[INFO] [stdout]           >>> referenced by inline.rs:452 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:452)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.11.rcgu.o:(leo3_ffi::inline::lean_usize_to_nat) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_alloc_object
[INFO] [stdout]           >>> referenced by array.rs:285 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/array.rs:285)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.13.rcgu.o:(leo3_ffi::array::lean_alloc_array) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Expr
[INFO] [stdout]           >>> referenced by mod.rs:157 (src/meta/mod.rs:157)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_expr_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Init_Prelude
[INFO] [stdout]           >>> referenced by mod.rs:137 (src/meta/mod.rs:137)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_prelude_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Environment
[INFO] [stdout]           >>> referenced by mod.rs:173 (src/meta/mod.rs:173)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Meta
[INFO] [stdout]           >>> referenced by mod.rs:177 (src/meta/mod.rs:177)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_util_module()
[INFO] [stdout]           >>> referenced by mod.rs:181 (src/meta/mod.rs:181)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_kernel_module()
[INFO] [stdout]           >>> referenced by mod.rs:182 (src/meta/mod.rs:182)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::init_default_print_fn()
[INFO] [stdout]           >>> referenced by mod.rs:185 (src/meta/mod.rs:185)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_library_core_module()
[INFO] [stdout]           >>> referenced by mod.rs:186 (src/meta/mod.rs:186)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_library_module()
[INFO] [stdout]           >>> referenced by mod.rs:187 (src/meta/mod.rs:187)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_io_mark_end_initialization
[INFO] [stdout]           >>> referenced by mod.rs:190 (src/meta/mod.rs:190)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           collect2: error: ld returned 1 exit status
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] warning: leo3@0.2.1: DEP_LEAN4_LEO3_CONFIG not set; leo3-ffi may not have detected Lean
[INFO] [stderr] error: could not compile `leo3` (test "test_is_def_eq") due to 1 previous error
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stderr] warning: leo3@0.2.1: DEP_LEAN4_LEO3_CONFIG not set; leo3-ffi may not have detected Lean
[INFO] [stderr] error: could not compile `leo3` (test "basic") due to 1 previous error
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note:  "cc" "-m64" "/opt/rustwide/target/debug/deps/rustcaGNl6T/symbols.o" "<2 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libtest-*,libgetopts-*,librustc_std_workspace_std-*}.rlib" "/opt/rustwide/target/debug/deps/{libleo3-89f6ad12081a6bcc,liblibloading-25f44748b04c18dc,libcfg_if-5af52f617df93f8f,libleo3_ffi-08b3cc464f951157,liblibc-65ee1eb217d721f2}.rlib" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libstd-*,libpanic_unwind-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,libcfg_if-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*,liblibc-*,librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-Wl,-Bdynamic" "-ldl" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-L" "/opt/rustwide/target/debug/deps/rustcaGNl6T/raw-dylibs" "-B<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/bin/gcc-ld" "-fuse-ld=lld" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/target/debug/build/alloca-fd53fbec7e962863/out" "-L" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/deps/list_ops-19063f74c5f73e15" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs"
[INFO] [stdout]   = note: some arguments are omitted. use `--verbose` to show all linker arguments
[INFO] [stdout]   = note: rust-lld: error: undefined symbol: lean_initialize_runtime_module
[INFO] [stdout]           >>> referenced by environment.rs:53 (src/meta/environment.rs:53)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_initialize_thread
[INFO] [stdout]           >>> referenced by environment.rs:54 (src/meta/environment.rs:54)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_init_task_manager
[INFO] [stdout]           >>> referenced by environment.rs:55 (src/meta/environment.rs:55)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_mk_string
[INFO] [stdout]           >>> referenced by string.rs:39 (src/types/string.rs:39)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.08.rcgu.o:(<leo3::types::string::LeanString>::mk) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_big_usize_to_nat
[INFO] [stdout]           >>> referenced by inline.rs:452 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:452)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.11.rcgu.o:(leo3_ffi::inline::lean_usize_to_nat) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Expr
[INFO] [stdout]           >>> referenced by mod.rs:157 (src/meta/mod.rs:157)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_expr_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Init_Prelude
[INFO] [stdout]           >>> referenced by mod.rs:137 (src/meta/mod.rs:137)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_prelude_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Environment
[INFO] [stdout]           >>> referenced by mod.rs:173 (src/meta/mod.rs:173)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Meta
[INFO] [stdout]           >>> referenced by mod.rs:177 (src/meta/mod.rs:177)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_util_module()
[INFO] [stdout]           >>> referenced by mod.rs:181 (src/meta/mod.rs:181)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_kernel_module()
[INFO] [stdout]           >>> referenced by mod.rs:182 (src/meta/mod.rs:182)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::init_default_print_fn()
[INFO] [stdout]           >>> referenced by mod.rs:185 (src/meta/mod.rs:185)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_library_core_module()
[INFO] [stdout]           >>> referenced by mod.rs:186 (src/meta/mod.rs:186)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_library_module()
[INFO] [stdout]           >>> referenced by mod.rs:187 (src/meta/mod.rs:187)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_io_mark_end_initialization
[INFO] [stdout]           >>> referenced by mod.rs:190 (src/meta/mod.rs:190)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_alloc_object
[INFO] [stdout]           >>> referenced by lib.rs:421 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/lib.rs:421)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.13.rcgu.o:(leo3_ffi::lean_alloc_ctor) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_dec_ref_cold
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.15.rcgu.o:(<leo3::types::list::LeanList>::length) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.15.rcgu.o:(<leo3::types::list::LeanList>::length) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.15.rcgu.o:(<leo3::instance::LeanBound<leo3::types::nat::LeanNat> as core::ops::drop::Drop>::drop) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced 3 more times
[INFO] [stdout]           collect2: error: ld returned 1 exit status
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] warning: leo3@0.2.1: DEP_LEAN4_LEO3_CONFIG not set; leo3-ffi may not have detected Lean
[INFO] [stderr] error: could not compile `leo3` (test "list_ops") due to 1 previous error
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note:  "cc" "-m64" "/opt/rustwide/target/debug/deps/rustczhtQ7Z/symbols.o" "<3 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/{libfutures-b791b79a50f271b0,libfutures_executor-95f8f7ecdc275e67,libfutures_util-b25f2151a783334d,libmemchr-f9c66c7ba21bf873,libfutures_io-3e19596c076de665,libslab-e253d0c0a7952806,libfutures_channel-832f9c384c35324f,libpin_project_lite-bedc6e0acd72ff2a,libfutures_sink-23538ced8fe824d7,libfutures_task-19b3aba2be9e7ae8,libpin_utils-9a5791cba021167a,libfutures_core-7288ace658af78d0}.rlib" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libtest-*,libgetopts-*,librustc_std_workspace_std-*}.rlib" "/opt/rustwide/target/debug/deps/{libleo3-89f6ad12081a6bcc,liblibloading-25f44748b04c18dc,libcfg_if-5af52f617df93f8f,libleo3_ffi-08b3cc464f951157,liblibc-65ee1eb217d721f2}.rlib" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libstd-*,libpanic_unwind-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,libcfg_if-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*,liblibc-*,librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-Wl,-Bdynamic" "-ldl" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-L" "/opt/rustwide/target/debug/deps/rustczhtQ7Z/raw-dylibs" "-B<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/bin/gcc-ld" "-fuse-ld=lld" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/target/debug/build/alloca-fd53fbec7e962863/out" "-L" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/deps/test_task_async-04cf32970e006efb" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs"
[INFO] [stdout]   = note: some arguments are omitted. use `--verbose` to show all linker arguments
[INFO] [stdout]   = note: rust-lld: error: undefined symbol: lean_io_get_task_state_core
[INFO] [stdout]           >>> referenced by task.rs:536 (src/task.rs:536)
[INFO] [stdout]           >>>               /opt/rustwide/target/debug/deps/test_task_async-04cf32970e006efb.test_task_async.f549ef12ba1c9dba-cgu.1.rcgu.o:(<leo3::task::LeanTaskFuture<leo3::types::nat::LeanNat> as core::future::future::Future>::poll::{closure#0})
[INFO] [stdout]           >>> referenced by task.rs:265 (src/task.rs:265)
[INFO] [stdout]           >>>               /opt/rustwide/target/debug/deps/test_task_async-04cf32970e006efb.test_task_async.f549ef12ba1c9dba-cgu.0.rcgu.o:(<leo3::instance::LeanBound<leo3::task::LeanTaskType<leo3::types::nat::LeanNat>>>::state)
[INFO] [stdout]           >>> referenced by task.rs:265 (src/task.rs:265)
[INFO] [stdout]           >>>               /opt/rustwide/target/debug/deps/test_task_async-04cf32970e006efb.test_task_async.f549ef12ba1c9dba-cgu.0.rcgu.o:(<leo3::instance::LeanBound<leo3::task::LeanTaskType>>::state)
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_task_pure
[INFO] [stdout]           >>> referenced by task.rs:251 (src/task.rs:251)
[INFO] [stdout]           >>>               /opt/rustwide/target/debug/deps/test_task_async-04cf32970e006efb.test_task_async.f549ef12ba1c9dba-cgu.0.rcgu.o:(<leo3::instance::LeanBound<leo3::task::LeanTaskType<leo3::types::nat::LeanNat>>>::pure)
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_io_cancel_core
[INFO] [stdout]           >>> referenced by task.rs:339 (src/task.rs:339)
[INFO] [stdout]           >>>               /opt/rustwide/target/debug/deps/test_task_async-04cf32970e006efb.test_task_async.f549ef12ba1c9dba-cgu.0.rcgu.o:(<leo3::instance::LeanBound<leo3::task::LeanTaskType<leo3::types::nat::LeanNat>>>::cancel)
[INFO] [stdout]           >>> referenced by task.rs:339 (src/task.rs:339)
[INFO] [stdout]           >>>               /opt/rustwide/target/debug/deps/test_task_async-04cf32970e006efb.test_task_async.f549ef12ba1c9dba-cgu.0.rcgu.o:(<leo3::instance::LeanBound<leo3::task::LeanTaskType>>::cancel)
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_task_get
[INFO] [stdout]           >>> referenced by inline.rs:2915 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:2915)
[INFO] [stdout]           >>>               /opt/rustwide/target/debug/deps/test_task_async-04cf32970e006efb.test_task_async.f549ef12ba1c9dba-cgu.0.rcgu.o:(<leo3::instance::LeanBound<leo3::task::LeanTaskType<leo3::types::nat::LeanNat>>>::get_owned)
[INFO] [stdout]           >>> referenced by task.rs:305 (src/task.rs:305)
[INFO] [stdout]           >>>               /opt/rustwide/target/debug/deps/test_task_async-04cf32970e006efb.test_task_async.f549ef12ba1c9dba-cgu.0.rcgu.o:(<leo3::instance::LeanBound<leo3::task::LeanTaskType>>::get)
[INFO] [stdout]           >>> referenced by inline.rs:2915 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:2915)
[INFO] [stdout]           >>>               /opt/rustwide/target/debug/deps/test_task_async-04cf32970e006efb.test_task_async.f549ef12ba1c9dba-cgu.0.rcgu.o:(<leo3::instance::LeanBound<leo3::task::LeanTaskType>>::get_owned)
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_dec_ref_cold
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               /opt/rustwide/target/debug/deps/test_task_async-04cf32970e006efb.test_task_async.f549ef12ba1c9dba-cgu.0.rcgu.o:(<leo3::instance::LeanBound<leo3::task::LeanTaskType<leo3::types::nat::LeanNat>>>::get_owned)
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               /opt/rustwide/target/debug/deps/test_task_async-04cf32970e006efb.test_task_async.f549ef12ba1c9dba-cgu.0.rcgu.o:(<leo3::instance::LeanBound<leo3::task::LeanTaskType>>::get_owned)
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               /opt/rustwide/target/debug/deps/test_task_async-04cf32970e006efb.test_task_async.f549ef12ba1c9dba-cgu.0.rcgu.o:(<leo3::instance::LeanBound<leo3::task::LeanTaskType<leo3::types::nat::LeanNat>> as core::ops::drop::Drop>::drop)
[INFO] [stdout]           >>> referenced 4 more times
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_task_spawn_core
[INFO] [stdout]           >>> referenced by inline.rs:2904 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:2904)
[INFO] [stdout]           >>>               /opt/rustwide/target/debug/deps/test_task_async-04cf32970e006efb.test_task_async.f549ef12ba1c9dba-cgu.0.rcgu.o:(<leo3::instance::LeanBound<leo3::task::LeanTaskType>>::spawn_with_priority)
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_initialize_runtime_module
[INFO] [stdout]           >>> referenced by environment.rs:53 (src/meta/environment.rs:53)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_initialize_thread
[INFO] [stdout]           >>> referenced by environment.rs:54 (src/meta/environment.rs:54)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_init_task_manager
[INFO] [stdout]           >>> referenced by environment.rs:55 (src/meta/environment.rs:55)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_usize_of_big_nat
[INFO] [stdout]           >>> referenced by inline.rs:466 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:466)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.11.rcgu.o:(leo3_ffi::inline::lean_usize_of_nat) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_big_usize_to_nat
[INFO] [stdout]           >>> referenced by inline.rs:452 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:452)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.11.rcgu.o:(leo3_ffi::inline::lean_usize_to_nat) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_alloc_object
[INFO] [stdout]           >>> referenced by inline.rs:2864 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:2864)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.15.rcgu.o:(<leo3::instance::LeanBound<leo3::closure::LeanClosureType>>::from_raw_fn) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Expr
[INFO] [stdout]           >>> referenced by mod.rs:157 (src/meta/mod.rs:157)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_expr_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Init_Prelude
[INFO] [stdout]           >>> referenced by mod.rs:137 (src/meta/mod.rs:137)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_prelude_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Environment
[INFO] [stdout]           >>> referenced by mod.rs:173 (src/meta/mod.rs:173)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Meta
[INFO] [stdout]           >>> referenced by mod.rs:177 (src/meta/mod.rs:177)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_util_module()
[INFO] [stdout]           >>> referenced by mod.rs:181 (src/meta/mod.rs:181)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_kernel_module()
[INFO] [stdout]           >>> referenced by mod.rs:182 (src/meta/mod.rs:182)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::init_default_print_fn()
[INFO] [stdout]           >>> referenced by mod.rs:185 (src/meta/mod.rs:185)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_library_core_module()
[INFO] [stdout]           >>> referenced by mod.rs:186 (src/meta/mod.rs:186)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: too many errors emitted, stopping now (use --error-limit=0 to see all errors)
[INFO] [stdout]           collect2: error: ld returned 1 exit status
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] warning: leo3@0.2.1: DEP_LEAN4_LEO3_CONFIG not set; leo3-ffi may not have detected Lean
[INFO] [stderr] error: could not compile `leo3` (test "test_task_async") due to 1 previous error
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note:  "cc" "-m64" "/opt/rustwide/target/debug/deps/rustcSCR1bt/symbols.o" "<2 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libtest-*,libgetopts-*,librustc_std_workspace_std-*}.rlib" "/opt/rustwide/target/debug/deps/{libleo3-89f6ad12081a6bcc,liblibloading-25f44748b04c18dc,libcfg_if-5af52f617df93f8f,libleo3_ffi-08b3cc464f951157,liblibc-65ee1eb217d721f2}.rlib" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libstd-*,libpanic_unwind-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,libcfg_if-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*,liblibc-*,librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-Wl,-Bdynamic" "-ldl" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-L" "/opt/rustwide/target/debug/deps/rustcSCR1bt/raw-dylibs" "-B<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/bin/gcc-ld" "-fuse-ld=lld" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/target/debug/build/alloca-fd53fbec7e962863/out" "-L" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/deps/test_closure-573954ed23aa6ec0" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs"
[INFO] [stdout]   = note: some arguments are omitted. use `--verbose` to show all linker arguments
[INFO] [stdout]   = note: rust-lld: error: undefined symbol: lean_mk_string
[INFO] [stdout]           >>> referenced by string.rs:39 (src/types/string.rs:39)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.08.rcgu.o:(<leo3::types::string::LeanString>::mk) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_initialize_runtime_module
[INFO] [stdout]           >>> referenced by environment.rs:53 (src/meta/environment.rs:53)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_initialize_thread
[INFO] [stdout]           >>> referenced by environment.rs:54 (src/meta/environment.rs:54)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_init_task_manager
[INFO] [stdout]           >>> referenced by environment.rs:55 (src/meta/environment.rs:55)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Expr
[INFO] [stdout]           >>> referenced by mod.rs:157 (src/meta/mod.rs:157)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_expr_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Init_Prelude
[INFO] [stdout]           >>> referenced by mod.rs:137 (src/meta/mod.rs:137)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_prelude_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Environment
[INFO] [stdout]           >>> referenced by mod.rs:173 (src/meta/mod.rs:173)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Meta
[INFO] [stdout]           >>> referenced by mod.rs:177 (src/meta/mod.rs:177)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_util_module()
[INFO] [stdout]           >>> referenced by mod.rs:181 (src/meta/mod.rs:181)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_kernel_module()
[INFO] [stdout]           >>> referenced by mod.rs:182 (src/meta/mod.rs:182)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::init_default_print_fn()
[INFO] [stdout]           >>> referenced by mod.rs:185 (src/meta/mod.rs:185)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_library_core_module()
[INFO] [stdout]           >>> referenced by mod.rs:186 (src/meta/mod.rs:186)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_library_module()
[INFO] [stdout]           >>> referenced by mod.rs:187 (src/meta/mod.rs:187)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_io_mark_end_initialization
[INFO] [stdout]           >>> referenced by mod.rs:190 (src/meta/mod.rs:190)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_big_usize_to_nat
[INFO] [stdout]           >>> referenced by inline.rs:452 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:452)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.11.rcgu.o:(leo3_ffi::inline::lean_usize_to_nat) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_alloc_object
[INFO] [stdout]           >>> referenced by inline.rs:2864 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:2864)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.15.rcgu.o:(<leo3::instance::LeanBound<leo3::closure::LeanClosureType>>::from_raw_fn) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced by inline.rs:2864 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:2864)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.15.rcgu.o:(<leo3::instance::LeanBound<leo3::closure::LeanClosureType>>::with_captured) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_apply_1
[INFO] [stdout]           >>> referenced by closure.rs:419 (src/closure.rs:419)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.15.rcgu.o:(<leo3::instance::LeanBound<leo3::closure::LeanClosureType>>::apply) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_apply_2
[INFO] [stdout]           >>> referenced by closure.rs:448 (src/closure.rs:448)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.15.rcgu.o:(<leo3::instance::LeanBound<leo3::closure::LeanClosureType>>::apply2) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_dec_ref_cold
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.15.rcgu.o:(<leo3::instance::LeanBound<leo3::closure::LeanClosureType> as core::ops::drop::Drop>::drop) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.15.rcgu.o:(<leo3::instance::LeanBound<leo3::types::nat::LeanNat> as core::ops::drop::Drop>::drop) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.15.rcgu.o:(<leo3::instance::LeanBound<leo3::types::string::LeanString> as core::ops::drop::Drop>::drop) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced 1 more times
[INFO] [stdout]           collect2: error: ld returned 1 exit status
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note:  "cc" "-m64" "/opt/rustwide/target/debug/deps/rustcMcmMpw/symbols.o" "<2 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libtest-*,libgetopts-*,librustc_std_workspace_std-*}.rlib" "/opt/rustwide/target/debug/deps/{libleo3-89f6ad12081a6bcc,liblibloading-25f44748b04c18dc,libcfg_if-5af52f617df93f8f,libleo3_ffi-08b3cc464f951157,liblibc-65ee1eb217d721f2}.rlib" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libstd-*,libpanic_unwind-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,libcfg_if-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*,liblibc-*,librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-Wl,-Bdynamic" "-ldl" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-L" "/opt/rustwide/target/debug/deps/rustcMcmMpw/raw-dylibs" "-B<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/bin/gcc-ld" "-fuse-ld=lld" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/target/debug/build/alloca-fd53fbec7e962863/out" "-L" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/deps/int_ops_comprehensive-77e2dbd4412bc90b" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs"
[INFO] [stdout]   = note: some arguments are omitted. use `--verbose` to show all linker arguments
[INFO] [stdout]   = note: rust-lld: error: undefined symbol: lean_int_big_eq
[INFO] [stdout]           >>> referenced by inline.rs:992 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:992)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.11.rcgu.o:(leo3_ffi::inline::lean_int_eq) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_int_big_le
[INFO] [stdout]           >>> referenced by inline.rs:1005 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:1005)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.11.rcgu.o:(leo3_ffi::inline::lean_int_le) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_int_big_lt
[INFO] [stdout]           >>> referenced by inline.rs:1018 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:1018)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.11.rcgu.o:(leo3_ffi::inline::lean_int_lt) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_int_big_add
[INFO] [stdout]           >>> referenced by inline.rs:795 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:795)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.11.rcgu.o:(leo3_ffi::inline::lean_int_add) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_int_big_div
[INFO] [stdout]           >>> referenced by inline.rs:851 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:851)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.11.rcgu.o:(leo3_ffi::inline::lean_int_div) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_int_big_mod
[INFO] [stdout]           >>> referenced by inline.rs:881 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:881)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.11.rcgu.o:(leo3_ffi::inline::lean_int_mod) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_int_big_mul
[INFO] [stdout]           >>> referenced by inline.rs:821 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:821)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.11.rcgu.o:(leo3_ffi::inline::lean_int_mul) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_int_big_neg
[INFO] [stdout]           >>> referenced by inline.rs:759 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:759)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.11.rcgu.o:(leo3_ffi::inline::lean_int_neg) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_int_big_sub
[INFO] [stdout]           >>> referenced by inline.rs:808 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:808)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.11.rcgu.o:(leo3_ffi::inline::lean_int_sub) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_int_big_ediv
[INFO] [stdout]           >>> referenced by inline.rs:923 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:923)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.11.rcgu.o:(leo3_ffi::inline::lean_int_ediv) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_int_big_emod
[INFO] [stdout]           >>> referenced by inline.rs:979 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:979)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.11.rcgu.o:(leo3_ffi::inline::lean_int_emod) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_big_int64_to_int
[INFO] [stdout]           >>> referenced by inline.rs:693 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:693)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.11.rcgu.o:(leo3_ffi::inline::lean_int64_to_int) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_dec_ref_cold
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.13.rcgu.o:(<leo3::types::int::LeanInt>::neg) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.15.rcgu.o:(<leo3::instance::LeanBound<leo3::types::int::LeanInt> as core::ops::drop::Drop>::drop) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           collect2: error: ld returned 1 exit status
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] warning: leo3@0.2.1: DEP_LEAN4_LEO3_CONFIG not set; leo3-ffi may not have detected Lean
[INFO] [stderr] error: could not compile `leo3` (test "test_closure") due to 1 previous error
[INFO] [stderr] warning: leo3@0.2.1: DEP_LEAN4_LEO3_CONFIG not set; leo3-ffi may not have detected Lean
[INFO] [stderr] error: could not compile `leo3` (test "int_ops_comprehensive") due to 1 previous error
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note:  "cc" "-m64" "/opt/rustwide/target/debug/deps/rustcjTN9M7/symbols.o" "<2 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libtest-*,libgetopts-*,librustc_std_workspace_std-*}.rlib" "/opt/rustwide/target/debug/deps/{libleo3-89f6ad12081a6bcc,liblibloading-25f44748b04c18dc,libcfg_if-5af52f617df93f8f,libleo3_ffi-08b3cc464f951157,liblibc-65ee1eb217d721f2}.rlib" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libstd-*,libpanic_unwind-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,libcfg_if-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*,liblibc-*,librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-Wl,-Bdynamic" "-ldl" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-L" "/opt/rustwide/target/debug/deps/rustcjTN9M7/raw-dylibs" "-B<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/bin/gcc-ld" "-fuse-ld=lld" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/target/debug/build/alloca-fd53fbec7e962863/out" "-L" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/deps/float32_test-dbf3738f09895737" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs"
[INFO] [stdout]   = note: some arguments are omitted. use `--verbose` to show all linker arguments
[INFO] [stdout]   = note: rust-lld: error: undefined symbol: lean_initialize_runtime_module
[INFO] [stdout]           >>> referenced by environment.rs:53 (src/meta/environment.rs:53)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_initialize_thread
[INFO] [stdout]           >>> referenced by environment.rs:54 (src/meta/environment.rs:54)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_init_task_manager
[INFO] [stdout]           >>> referenced by environment.rs:55 (src/meta/environment.rs:55)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Expr
[INFO] [stdout]           >>> referenced by mod.rs:157 (src/meta/mod.rs:157)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_expr_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Init_Prelude
[INFO] [stdout]           >>> referenced by mod.rs:137 (src/meta/mod.rs:137)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_prelude_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Environment
[INFO] [stdout]           >>> referenced by mod.rs:173 (src/meta/mod.rs:173)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Meta
[INFO] [stdout]           >>> referenced by mod.rs:177 (src/meta/mod.rs:177)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_util_module()
[INFO] [stdout]           >>> referenced by mod.rs:181 (src/meta/mod.rs:181)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_kernel_module()
[INFO] [stdout]           >>> referenced by mod.rs:182 (src/meta/mod.rs:182)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::init_default_print_fn()
[INFO] [stdout]           >>> referenced by mod.rs:185 (src/meta/mod.rs:185)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_library_core_module()
[INFO] [stdout]           >>> referenced by mod.rs:186 (src/meta/mod.rs:186)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_library_module()
[INFO] [stdout]           >>> referenced by mod.rs:187 (src/meta/mod.rs:187)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_io_mark_end_initialization
[INFO] [stdout]           >>> referenced by mod.rs:190 (src/meta/mod.rs:190)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_float32_isinf
[INFO] [stdout]           >>> referenced by float32.rs:134 (src/types/float32.rs:134)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(<leo3::types::float32::LeanFloat32>::isInf) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_float32_isnan
[INFO] [stdout]           >>> referenced by float32.rs:116 (src/types/float32.rs:116)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(<leo3::types::float32::LeanFloat32>::isNaN) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_float32_of_bits
[INFO] [stdout]           >>> referenced by float32.rs:71 (src/types/float32.rs:71)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(<leo3::types::float32::LeanFloat32>::ofBits) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_float32_to_bits
[INFO] [stdout]           >>> referenced by float32.rs:82 (src/types/float32.rs:82)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(<leo3::types::float32::LeanFloat32>::toBits) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_alloc_object
[INFO] [stdout]           >>> referenced by lib.rs:421 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/lib.rs:421)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.13.rcgu.o:(leo3_ffi::lean_alloc_ctor) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_dec_ref_cold
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.15.rcgu.o:(<leo3::instance::LeanBound<leo3::types::float::LeanFloat> as core::ops::drop::Drop>::drop) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.15.rcgu.o:(<leo3::instance::LeanBound<leo3::types::float32::LeanFloat32> as core::ops::drop::Drop>::drop) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           collect2: error: ld returned 1 exit status
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note:  "cc" "-m64" "/opt/rustwide/target/debug/deps/rustc1hYOcS/symbols.o" "<4 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libtest-*,libgetopts-*,librustc_std_workspace_std-*}.rlib" "/opt/rustwide/target/debug/deps/{libleo3-89f6ad12081a6bcc,liblibloading-25f44748b04c18dc,libcfg_if-5af52f617df93f8f,libleo3_ffi-08b3cc464f951157,liblibc-65ee1eb217d721f2}.rlib" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libstd-*,libpanic_unwind-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,libcfg_if-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*,liblibc-*,librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-Wl,-Bdynamic" "-ldl" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-L" "/opt/rustwide/target/debug/deps/rustc1hYOcS/raw-dylibs" "-B<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/bin/gcc-ld" "-fuse-ld=lld" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/target/debug/build/alloca-fd53fbec7e962863/out" "-L" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/deps/test_promise-a11f545659cd930c" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs"
[INFO] [stdout]   = note: some arguments are omitted. use `--verbose` to show all linker arguments
[INFO] [stdout]   = note: rust-lld: error: undefined symbol: lean_io_promise_new
[INFO] [stdout]           >>> referenced by promise.rs:113 (src/promise.rs:113)
[INFO] [stdout]           >>>               /opt/rustwide/target/debug/deps/test_promise-a11f545659cd930c.test_promise.30f6fd3bea4a09e9-cgu.2.rcgu.o:(<leo3::instance::LeanBound<leo3::promise::LeanPromiseType>>::new::{closure#0})
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_dec_ref_cold
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               /opt/rustwide/target/debug/deps/test_promise-a11f545659cd930c.test_promise.30f6fd3bea4a09e9-cgu.2.rcgu.o:(<leo3::instance::LeanBound<leo3::promise::LeanPromiseType>>::new::{closure#0})
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               /opt/rustwide/target/debug/deps/test_promise-a11f545659cd930c.test_promise.30f6fd3bea4a09e9-cgu.2.rcgu.o:(<leo3::instance::LeanBound<leo3::promise::LeanPromiseType>>::resolve::{closure#0})
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               /opt/rustwide/target/debug/deps/test_promise-a11f545659cd930c.test_promise.30f6fd3bea4a09e9-cgu.2.rcgu.o:(<leo3::instance::LeanBound<leo3::promise::LeanPromiseType>>::resolve::{closure#0})
[INFO] [stdout]           >>> referenced 8 more times
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_io_promise_resolve
[INFO] [stdout]           >>> referenced by promise.rs:160 (src/promise.rs:160)
[INFO] [stdout]           >>>               /opt/rustwide/target/debug/deps/test_promise-a11f545659cd930c.test_promise.30f6fd3bea4a09e9-cgu.2.rcgu.o:(<leo3::instance::LeanBound<leo3::promise::LeanPromiseType>>::resolve::{closure#0})
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_io_promise_result_opt
[INFO] [stdout]           >>> referenced by promise.rs:198 (src/promise.rs:198)
[INFO] [stdout]           >>>               /opt/rustwide/target/debug/deps/test_promise-a11f545659cd930c.test_promise.30f6fd3bea4a09e9-cgu.1.rcgu.o:(<leo3::instance::LeanBound<leo3::promise::LeanPromiseType>>::task)
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_task_get
[INFO] [stdout]           >>> referenced by inline.rs:2915 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:2915)
[INFO] [stdout]           >>>               /opt/rustwide/target/debug/deps/test_promise-a11f545659cd930c.test_promise.30f6fd3bea4a09e9-cgu.1.rcgu.o:(<leo3::instance::LeanBound<leo3::task::LeanTaskType>>::get_owned)
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_mk_string
[INFO] [stdout]           >>> referenced by string.rs:39 (src/types/string.rs:39)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.08.rcgu.o:(<leo3::types::string::LeanString>::mk) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_initialize_runtime_module
[INFO] [stdout]           >>> referenced by environment.rs:53 (src/meta/environment.rs:53)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_initialize_thread
[INFO] [stdout]           >>> referenced by environment.rs:54 (src/meta/environment.rs:54)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_init_task_manager
[INFO] [stdout]           >>> referenced by environment.rs:55 (src/meta/environment.rs:55)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Expr
[INFO] [stdout]           >>> referenced by mod.rs:157 (src/meta/mod.rs:157)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_expr_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Init_Prelude
[INFO] [stdout]           >>> referenced by mod.rs:137 (src/meta/mod.rs:137)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_prelude_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Environment
[INFO] [stdout]           >>> referenced by mod.rs:173 (src/meta/mod.rs:173)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Meta
[INFO] [stdout]           >>> referenced by mod.rs:177 (src/meta/mod.rs:177)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_util_module()
[INFO] [stdout]           >>> referenced by mod.rs:181 (src/meta/mod.rs:181)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_kernel_module()
[INFO] [stdout]           >>> referenced by mod.rs:182 (src/meta/mod.rs:182)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::init_default_print_fn()
[INFO] [stdout]           >>> referenced by mod.rs:185 (src/meta/mod.rs:185)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_library_core_module()
[INFO] [stdout]           >>> referenced by mod.rs:186 (src/meta/mod.rs:186)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_library_module()
[INFO] [stdout]           >>> referenced by mod.rs:187 (src/meta/mod.rs:187)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_io_mark_end_initialization
[INFO] [stdout]           >>> referenced by mod.rs:190 (src/meta/mod.rs:190)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_usize_of_big_nat
[INFO] [stdout]           >>> referenced by inline.rs:466 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:466)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.11.rcgu.o:(leo3_ffi::inline::lean_usize_of_nat) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: too many errors emitted, stopping now (use --error-limit=0 to see all errors)
[INFO] [stdout]           collect2: error: ld returned 1 exit status
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] warning: leo3@0.2.1: DEP_LEAN4_LEO3_CONFIG not set; leo3-ffi may not have detected Lean
[INFO] [stderr] error: could not compile `leo3` (test "test_promise") due to 1 previous error
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note:  "cc" "-m64" "/opt/rustwide/target/debug/deps/rustcpgob8N/symbols.o" "<2 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libtest-*,libgetopts-*,librustc_std_workspace_std-*}.rlib" "/opt/rustwide/target/debug/deps/{libleo3-89f6ad12081a6bcc,liblibloading-25f44748b04c18dc,libcfg_if-5af52f617df93f8f,libleo3_ffi-08b3cc464f951157,liblibc-65ee1eb217d721f2}.rlib" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libstd-*,libpanic_unwind-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,libcfg_if-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*,liblibc-*,librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-Wl,-Bdynamic" "-ldl" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-L" "/opt/rustwide/target/debug/deps/rustcpgob8N/raw-dylibs" "-B<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/bin/gcc-ld" "-fuse-ld=lld" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/target/debug/build/alloca-fd53fbec7e962863/out" "-L" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/deps/bool_ops-3017ed3e352454eb" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs"
[INFO] [stdout]   = note: some arguments are omitted. use `--verbose` to show all linker arguments
[INFO] [stdout]   = note: rust-lld: error: undefined symbol: lean_initialize_runtime_module
[INFO] [stdout]           >>> referenced by environment.rs:53 (src/meta/environment.rs:53)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_initialize_thread
[INFO] [stdout]           >>> referenced by environment.rs:54 (src/meta/environment.rs:54)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_init_task_manager
[INFO] [stdout]           >>> referenced by environment.rs:55 (src/meta/environment.rs:55)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Expr
[INFO] [stdout]           >>> referenced by mod.rs:157 (src/meta/mod.rs:157)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_expr_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Init_Prelude
[INFO] [stdout]           >>> referenced by mod.rs:137 (src/meta/mod.rs:137)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_prelude_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Environment
[INFO] [stdout]           >>> referenced by mod.rs:173 (src/meta/mod.rs:173)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Meta
[INFO] [stdout]           >>> referenced by mod.rs:177 (src/meta/mod.rs:177)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_util_module()
[INFO] [stdout]           >>> referenced by mod.rs:181 (src/meta/mod.rs:181)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_kernel_module()
[INFO] [stdout]           >>> referenced by mod.rs:182 (src/meta/mod.rs:182)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::init_default_print_fn()
[INFO] [stdout]           >>> referenced by mod.rs:185 (src/meta/mod.rs:185)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_library_core_module()
[INFO] [stdout]           >>> referenced by mod.rs:186 (src/meta/mod.rs:186)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_library_module()
[INFO] [stdout]           >>> referenced by mod.rs:187 (src/meta/mod.rs:187)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_io_mark_end_initialization
[INFO] [stdout]           >>> referenced by mod.rs:190 (src/meta/mod.rs:190)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_dec_ref_cold
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.15.rcgu.o:(<leo3::instance::LeanBound<leo3::types::bool::LeanBool> as core::ops::drop::Drop>::drop) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           collect2: error: ld returned 1 exit status
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] warning: leo3@0.2.1: DEP_LEAN4_LEO3_CONFIG not set; leo3-ffi may not have detected Lean
[INFO] [stderr] error: could not compile `leo3` (test "bool_ops") due to 1 previous error
[INFO] [stderr] warning: leo3@0.2.1: DEP_LEAN4_LEO3_CONFIG not set; leo3-ffi may not have detected Lean
[INFO] [stderr] error: could not compile `leo3` (test "float32_test") due to 1 previous error
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note:  "cc" "-m64" "/opt/rustwide/target/debug/deps/rustcVxd7E6/symbols.o" "<2 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libtest-*,libgetopts-*,librustc_std_workspace_std-*}.rlib" "/opt/rustwide/target/debug/deps/{libleo3-89f6ad12081a6bcc,liblibloading-25f44748b04c18dc,libcfg_if-5af52f617df93f8f,libleo3_ffi-08b3cc464f951157,liblibc-65ee1eb217d721f2}.rlib" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libstd-*,libpanic_unwind-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,libcfg_if-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*,liblibc-*,librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-Wl,-Bdynamic" "-ldl" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-L" "/opt/rustwide/target/debug/deps/rustcVxd7E6/raw-dylibs" "-B<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/bin/gcc-ld" "-fuse-ld=lld" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/target/debug/build/alloca-fd53fbec7e962863/out" "-L" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/deps/test_conversion_macros-22856562dc755304" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs"
[INFO] [stdout]   = note: some arguments are omitted. use `--verbose` to show all linker arguments
[INFO] [stdout]   = note: rust-lld: error: undefined symbol: lean_dec_ref_cold
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               /opt/rustwide/target/debug/deps/test_conversion_macros-22856562dc755304.test_conversion_macros.abf9b59d46bff4f1-cgu.0.rcgu.o:(<leo3::instance::LeanBound<leo3::types::uint::LeanUInt64> as core::ops::drop::Drop>::drop)
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.15.rcgu.o:(<leo3::instance::LeanBound<leo3::types::array::LeanArray> as core::ops::drop::Drop>::drop) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.15.rcgu.o:(<leo3::instance::LeanBound<leo3::types::bytearray::LeanByteArray> as core::ops::drop::Drop>::drop) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced 1 more times
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_initialize_runtime_module
[INFO] [stdout]           >>> referenced by environment.rs:53 (src/meta/environment.rs:53)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_initialize_thread
[INFO] [stdout]           >>> referenced by environment.rs:54 (src/meta/environment.rs:54)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_init_task_manager
[INFO] [stdout]           >>> referenced by environment.rs:55 (src/meta/environment.rs:55)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_array_mk
[INFO] [stdout]           >>> referenced by array.rs:355 (src/types/array.rs:355)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.11.rcgu.o:(<leo3::types::array::LeanArray>::with_capacity) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_copy_expand_array
[INFO] [stdout]           >>> referenced by array.rs:362 (src/types/array.rs:362)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.11.rcgu.o:(<leo3::types::array::LeanArray>::with_capacity) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced by array.rs:366 (src/types/array.rs:366)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.11.rcgu.o:(<leo3::types::array::LeanArray>::with_capacity) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced by array.rs:175 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/array.rs:175)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.13.rcgu.o:(leo3_ffi::array::lean_copy_array) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_alloc_object
[INFO] [stdout]           >>> referenced by inline.rs:1181 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:1181)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.11.rcgu.o:(leo3_ffi::inline::lean_alloc_sarray) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced by lib.rs:421 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/lib.rs:421)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.13.rcgu.o:(leo3_ffi::lean_alloc_ctor) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced by array.rs:285 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/array.rs:285)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.13.rcgu.o:(leo3_ffi::array::lean_alloc_array) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_internal_panic_out_of_memory
[INFO] [stdout]           >>> referenced by inline.rs:1202 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:1202)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.11.rcgu.o:(leo3_ffi::inline::lean_mk_empty_byte_array) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Expr
[INFO] [stdout]           >>> referenced by mod.rs:157 (src/meta/mod.rs:157)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_expr_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Init_Prelude
[INFO] [stdout]           >>> referenced by mod.rs:137 (src/meta/mod.rs:137)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_prelude_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Environment
[INFO] [stdout]           >>> referenced by mod.rs:173 (src/meta/mod.rs:173)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Meta
[INFO] [stdout]           >>> referenced by mod.rs:177 (src/meta/mod.rs:177)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_util_module()
[INFO] [stdout]           >>> referenced by mod.rs:181 (src/meta/mod.rs:181)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_kernel_module()
[INFO] [stdout]           >>> referenced by mod.rs:182 (src/meta/mod.rs:182)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::init_default_print_fn()
[INFO] [stdout]           >>> referenced by mod.rs:185 (src/meta/mod.rs:185)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_library_core_module()
[INFO] [stdout]           >>> referenced by mod.rs:186 (src/meta/mod.rs:186)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_library_module()
[INFO] [stdout]           >>> referenced by mod.rs:187 (src/meta/mod.rs:187)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_io_mark_end_initialization
[INFO] [stdout]           >>> referenced by mod.rs:190 (src/meta/mod.rs:190)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           collect2: error: ld returned 1 exit status
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] warning: leo3@0.2.1: DEP_LEAN4_LEO3_CONFIG not set; leo3-ffi may not have detected Lean
[INFO] [stderr] error: could not compile `leo3` (test "test_conversion_macros") due to 1 previous error
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note:  "cc" "-m64" "/opt/rustwide/target/debug/deps/rustcdwIayw/symbols.o" "<2 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libtest-*,libgetopts-*,librustc_std_workspace_std-*}.rlib" "/opt/rustwide/target/debug/deps/{libleo3-89f6ad12081a6bcc,liblibloading-25f44748b04c18dc,libcfg_if-5af52f617df93f8f,libleo3_ffi-08b3cc464f951157,liblibc-65ee1eb217d721f2}.rlib" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libstd-*,libpanic_unwind-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,libcfg_if-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*,liblibc-*,librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-Wl,-Bdynamic" "-ldl" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-L" "/opt/rustwide/target/debug/deps/rustcdwIayw/raw-dylibs" "-B<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/bin/gcc-ld" "-fuse-ld=lld" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/target/debug/build/alloca-fd53fbec7e962863/out" "-L" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/deps/test_tactic-e2686f202eb59bde" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs"
[INFO] [stdout]   = note: some arguments are omitted. use `--verbose` to show all linker arguments
[INFO] [stdout]   = note: rust-lld: error: undefined symbol: lean_checked_assign
[INFO] [stdout]           >>> referenced by inline.rs:0 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:0)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.04.rcgu.o:(leo3::meta::tactic::checked_assign) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced by inline.rs:3107 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:3107)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.04.rcgu.o:(leo3::meta::tactic::checked_assign) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_alloc_object
[INFO] [stdout]           >>> referenced by inline.rs:2864 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:2864)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.04.rcgu.o:(leo3::meta::tactic::checked_assign) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced by lib.rs:421 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/lib.rs:421)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.13.rcgu.o:(leo3_ffi::lean_alloc_ctor) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced by inline.rs:2864 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:2864)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.13.rcgu.o:(<leo3::meta::metam::MetaMContext>::infer_type) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced 3 more times
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_level_mk_zero
[INFO] [stdout]           >>> referenced by level.rs:32 (src/meta/level.rs:32)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.09.rcgu.o:(<leo3::meta::level::LeanLevel>::zero) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_mk_string_from_bytes
[INFO] [stdout]           >>> referenced by context.rs:183 (src/meta/context.rs:183)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.11.rcgu.o:(<leo3::meta::context::CoreContext>::mk_empty_filemap) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced by context.rs:378 (src/meta/context.rs:378)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.11.rcgu.o:(<leo3::meta::context::CoreState>::mk_name_generator) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_array_push
[INFO] [stdout]           >>> referenced by context.rs:187 (src/meta/context.rs:187)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.11.rcgu.o:(<leo3::meta::context::CoreContext>::mk_empty_filemap) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_name_mk_string
[INFO] [stdout]           >>> referenced by context.rs:379 (src/meta/context.rs:379)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.11.rcgu.o:(<leo3::meta::context::CoreState>::mk_name_generator) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced by name.rs:104 (src/meta/name.rs:104)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.13.rcgu.o:(<leo3::meta::name::LeanName>::append_str) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_mk_array
[INFO] [stdout]           >>> referenced by context.rs:474 (src/meta/context.rs:474)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.11.rcgu.o:(<leo3::meta::context::CoreState>::mk_empty_std_hashmap) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_big_usize_to_nat
[INFO] [stdout]           >>> referenced by inline.rs:452 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:452)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.11.rcgu.o:(leo3_ffi::inline::lean_usize_to_nat) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_mk_string
[INFO] [stdout]           >>> referenced by string.rs:39 (src/types/string.rs:39)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.08.rcgu.o:(<leo3::types::string::LeanString>::mk) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_initialize_runtime_module
[INFO] [stdout]           >>> referenced by environment.rs:53 (src/meta/environment.rs:53)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_initialize_thread
[INFO] [stdout]           >>> referenced by environment.rs:54 (src/meta/environment.rs:54)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_init_task_manager
[INFO] [stdout]           >>> referenced by environment.rs:55 (src/meta/environment.rs:55)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_mk_empty_environment
[INFO] [stdout]           >>> referenced by environment.rs:175 (src/meta/environment.rs:175)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.06.rcgu.o:(<leo3::meta::environment::LeanEnvironment>::empty::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_dec_ref_cold
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.06.rcgu.o:(<leo3::meta::environment::LeanEnvironment>::empty::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.13.rcgu.o:(<leo3::meta::metam::MetaMContext>::run::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.13.rcgu.o:(leo3_ffi::io::lean_io_result_take_value) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced 17 more times
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_expr_binder_info
[INFO] [stdout]           >>> referenced by expr.rs:712 (src/meta/expr.rs:712)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.06.rcgu.o:(<leo3::meta::expr::LeanExpr>::forall_info) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Expr
[INFO] [stdout]           >>> referenced by mod.rs:157 (src/meta/mod.rs:157)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_expr_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Init_Prelude
[INFO] [stdout]           >>> referenced by mod.rs:137 (src/meta/mod.rs:137)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_prelude_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Environment
[INFO] [stdout]           >>> referenced by mod.rs:173 (src/meta/mod.rs:173)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Meta
[INFO] [stdout]           >>> referenced by mod.rs:177 (src/meta/mod.rs:177)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_util_module()
[INFO] [stdout]           >>> referenced by mod.rs:181 (src/meta/mod.rs:181)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: too many errors emitted, stopping now (use --error-limit=0 to see all errors)
[INFO] [stdout]           collect2: error: ld returned 1 exit status
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] warning: leo3@0.2.1: DEP_LEAN4_LEO3_CONFIG not set; leo3-ffi may not have detected Lean
[INFO] [stderr] error: could not compile `leo3` (test "test_tactic") due to 1 previous error
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note:  "cc" "-m64" "/opt/rustwide/target/debug/deps/rustcEjsXbz/symbols.o" "<3 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libtest-*,libgetopts-*,librustc_std_workspace_std-*}.rlib" "/opt/rustwide/target/debug/deps/{libleo3-89f6ad12081a6bcc,liblibloading-25f44748b04c18dc,libcfg_if-5af52f617df93f8f,libleo3_ffi-08b3cc464f951157,liblibc-65ee1eb217d721f2}.rlib" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libstd-*,libpanic_unwind-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,libcfg_if-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*,liblibc-*,librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-Wl,-Bdynamic" "-ldl" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-L" "/opt/rustwide/target/debug/deps/rustcEjsXbz/raw-dylibs" "-B<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/bin/gcc-ld" "-fuse-ld=lld" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/target/debug/build/alloca-fd53fbec7e962863/out" "-L" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/deps/meta_comprehensive-fdf799d1fff06cae" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs"
[INFO] [stdout]   = note: some arguments are omitted. use `--verbose` to show all linker arguments
[INFO] [stdout]   = note: rust-lld: error: undefined symbol: lean_initialize_runtime_module
[INFO] [stdout]           >>> referenced by environment.rs:53 (src/meta/environment.rs:53)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_initialize_thread
[INFO] [stdout]           >>> referenced by environment.rs:54 (src/meta/environment.rs:54)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_init_task_manager
[INFO] [stdout]           >>> referenced by environment.rs:55 (src/meta/environment.rs:55)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_expr_instantiate
[INFO] [stdout]           >>> referenced by expr.rs:828 (src/meta/expr.rs:828)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.06.rcgu.o:(<leo3::meta::expr::LeanExpr>::instantiate) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_expr_binder_info
[INFO] [stdout]           >>> referenced by expr.rs:660 (src/meta/expr.rs:660)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.06.rcgu.o:(<leo3::meta::expr::LeanExpr>::lambda_info) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_expr_instantiate1
[INFO] [stdout]           >>> referenced by expr.rs:850 (src/meta/expr.rs:850)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.06.rcgu.o:(<leo3::meta::expr::LeanExpr>::instantiate1) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_expr_has_expr_mvar
[INFO] [stdout]           >>> referenced by expr.rs:1059 (src/meta/expr.rs:1059)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.06.rcgu.o:(<leo3::meta::expr::LeanExpr>::has_expr_mvar) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_expr_abstract_range
[INFO] [stdout]           >>> referenced by expr.rs:902 (src/meta/expr.rs:902)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.06.rcgu.o:(<leo3::meta::expr::LeanExpr>::abstract_range) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_expr_has_level_mvar
[INFO] [stdout]           >>> referenced by expr.rs:1068 (src/meta/expr.rs:1068)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.06.rcgu.o:(<leo3::meta::expr::LeanExpr>::has_level_mvar) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_expr_has_loose_bvar
[INFO] [stdout]           >>> referenced by expr.rs:921 (src/meta/expr.rs:921)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.06.rcgu.o:(<leo3::meta::expr::LeanExpr>::has_loose_bvar) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_expr_has_level_param
[INFO] [stdout]           >>> referenced by expr.rs:1077 (src/meta/expr.rs:1077)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.06.rcgu.o:(<leo3::meta::expr::LeanExpr>::has_level_param) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_expr_instantiate_rev
[INFO] [stdout]           >>> referenced by expr.rs:864 (src/meta/expr.rs:864)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.06.rcgu.o:(<leo3::meta::expr::LeanExpr>::instantiate_rev) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_expr_lift_loose_bvars
[INFO] [stdout]           >>> referenced by expr.rs:956 (src/meta/expr.rs:956)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.06.rcgu.o:(<leo3::meta::expr::LeanExpr>::lift_loose_bvars) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_expr_loose_bvar_range
[INFO] [stdout]           >>> referenced by expr.rs:932 (src/meta/expr.rs:932)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.06.rcgu.o:(<leo3::meta::expr::LeanExpr>::loose_bvar_range) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_expr_lower_loose_bvars
[INFO] [stdout]           >>> referenced by expr.rs:985 (src/meta/expr.rs:985)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.06.rcgu.o:(<leo3::meta::expr::LeanExpr>::lower_loose_bvars) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_expr_consume_type_annotations
[INFO] [stdout]           >>> referenced by expr.rs:1106 (src/meta/expr.rs:1106)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.06.rcgu.o:(<leo3::meta::expr::LeanExpr>::consume_type_annotations) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_expr_lt
[INFO] [stdout]           >>> referenced by expr.rs:1028 (src/meta/expr.rs:1028)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.06.rcgu.o:(<leo3::meta::expr::LeanExpr>::lt) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_expr_mk_app
[INFO] [stdout]           >>> referenced by expr.rs:175 (src/meta/expr.rs:175)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.06.rcgu.o:(<leo3::meta::expr::LeanExpr>::app) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_expr_mk_lit
[INFO] [stdout]           >>> referenced by expr.rs:352 (src/meta/expr.rs:352)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.06.rcgu.o:(<leo3::meta::expr::LeanExpr>::lit) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_expr_mk_bvar
[INFO] [stdout]           >>> referenced by expr.rs:59 (src/meta/expr.rs:59)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.06.rcgu.o:(<leo3::meta::expr::LeanExpr>::bvar) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: too many errors emitted, stopping now (use --error-limit=0 to see all errors)
[INFO] [stdout]           collect2: error: ld returned 1 exit status
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] warning: leo3@0.2.1: DEP_LEAN4_LEO3_CONFIG not set; leo3-ffi may not have detected Lean
[INFO] [stderr] error: could not compile `leo3` (test "meta_comprehensive") due to 1 previous error
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note:  "cc" "-m64" "/opt/rustwide/target/debug/deps/rustcneinKv/symbols.o" "<3 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libtest-*,libgetopts-*,librustc_std_workspace_std-*}.rlib" "/opt/rustwide/target/debug/deps/{libleo3-89f6ad12081a6bcc,liblibloading-25f44748b04c18dc,libcfg_if-5af52f617df93f8f,libleo3_ffi-08b3cc464f951157,liblibc-65ee1eb217d721f2}.rlib" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libstd-*,libpanic_unwind-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,libcfg_if-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*,liblibc-*,librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-Wl,-Bdynamic" "-ldl" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-L" "/opt/rustwide/target/debug/deps/rustcneinKv/raw-dylibs" "-B<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/bin/gcc-ld" "-fuse-ld=lld" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/target/debug/build/alloca-fd53fbec7e962863/out" "-L" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/deps/test_derive_macros-a6544d8b695232aa" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs"
[INFO] [stdout]   = note: some arguments are omitted. use `--verbose` to show all linker arguments
[INFO] [stdout]   = note: rust-lld: error: undefined symbol: lean_initialize_runtime_module
[INFO] [stdout]           >>> referenced by environment.rs:53 (src/meta/environment.rs:53)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_initialize_thread
[INFO] [stdout]           >>> referenced by environment.rs:54 (src/meta/environment.rs:54)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_init_task_manager
[INFO] [stdout]           >>> referenced by environment.rs:55 (src/meta/environment.rs:55)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_mk_string
[INFO] [stdout]           >>> referenced by string.rs:39 (src/types/string.rs:39)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.08.rcgu.o:(<leo3::types::string::LeanString>::mk) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_alloc_object
[INFO] [stdout]           >>> referenced by lib.rs:421 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/lib.rs:421)
[INFO] [stdout]           >>>               /opt/rustwide/target/debug/deps/test_derive_macros-a6544d8b695232aa.test_derive_macros.9d8b3d403bff1016-cgu.1.rcgu.o:(leo3_ffi::lean_alloc_ctor)
[INFO] [stdout]           >>> referenced by lib.rs:421 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/lib.rs:421)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.13.rcgu.o:(leo3_ffi::lean_alloc_ctor) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_dec_ref_cold
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               /opt/rustwide/target/debug/deps/test_derive_macros-a6544d8b695232aa.test_derive_macros.9d8b3d403bff1016-cgu.1.rcgu.o:(<leo3::instance::LeanBound<leo3::types::uint::LeanUInt16> as core::ops::drop::Drop>::drop)
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               /opt/rustwide/target/debug/deps/test_derive_macros-a6544d8b695232aa.test_derive_macros.9d8b3d403bff1016-cgu.1.rcgu.o:(<leo3::instance::LeanBound<leo3::types::uint::LeanUInt32> as core::ops::drop::Drop>::drop)
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               /opt/rustwide/target/debug/deps/test_derive_macros-a6544d8b695232aa.test_derive_macros.9d8b3d403bff1016-cgu.1.rcgu.o:(<leo3::instance::LeanBound<leo3::types::uint::LeanUInt64> as core::ops::drop::Drop>::drop)
[INFO] [stdout]           >>> referenced 5 more times
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Expr
[INFO] [stdout]           >>> referenced by mod.rs:157 (src/meta/mod.rs:157)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_expr_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Init_Prelude
[INFO] [stdout]           >>> referenced by mod.rs:137 (src/meta/mod.rs:137)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_prelude_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Environment
[INFO] [stdout]           >>> referenced by mod.rs:173 (src/meta/mod.rs:173)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Meta
[INFO] [stdout]           >>> referenced by mod.rs:177 (src/meta/mod.rs:177)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_util_module()
[INFO] [stdout]           >>> referenced by mod.rs:181 (src/meta/mod.rs:181)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_kernel_module()
[INFO] [stdout]           >>> referenced by mod.rs:182 (src/meta/mod.rs:182)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::init_default_print_fn()
[INFO] [stdout]           >>> referenced by mod.rs:185 (src/meta/mod.rs:185)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_library_core_module()
[INFO] [stdout]           >>> referenced by mod.rs:186 (src/meta/mod.rs:186)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_library_module()
[INFO] [stdout]           >>> referenced by mod.rs:187 (src/meta/mod.rs:187)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_io_mark_end_initialization
[INFO] [stdout]           >>> referenced by mod.rs:190 (src/meta/mod.rs:190)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.b590cf614ea2216-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           collect2: error: ld returned 1 exit status
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] warning: leo3@0.2.1: DEP_LEAN4_LEO3_CONFIG not set; leo3-ffi may not have detected Lean
[INFO] [stderr] error: could not compile `leo3` (test "test_derive_macros") due to 1 previous error
[INFO] running `Command { std: "docker" "inspect" "492d2d3138e0fd0042134843203cf2f069791982e8b5e3bd09674a2beaafb65a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "492d2d3138e0fd0042134843203cf2f069791982e8b5e3bd09674a2beaafb65a", kill_on_drop: false }`
[INFO] [stdout] 492d2d3138e0fd0042134843203cf2f069791982e8b5e3bd09674a2beaafb65a
